first-order logic معنى

• منطق الرتبَة الأولى

• logic    n. علم المنطق, منط ...
• second-order logic    منطق الرتبة الثاني ...
• first order (star wars)    المرتبة الأولى (حر ...

أمثلة

1. Second-order logic extends first-order logic by adding the latter type of quantification.
   يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.
2. First-order logic adds quantifiers and predicates, and can express facts about objects, their properties, and their relations with each other.
   المنطق الأولى يسمح أيضا باستخدام الكلمات الدالة على الكمية والخبر، ويمكنه التعبير عن حقائق الأشياء، وخواصهم، وعلاقاتهم مع بعضهم البعض.